1. Abstract State Machines, Alloy, B, VDM, and Z
Author: / John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
2. Logic for computer science /
Author: Steve Reeves, Michael Clarke
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
R34
1990
3. Logic for computer science
Author: Reeves, Steve
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Logic, symbolic and mathematical
Classification :
QA
9
.
R34
1990
4. Logic for computer science
Author: / Steve Reeves, Michael Clarke,Reeves
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
R34
1990
